device-independent file format